<html>
<head><meta charset="utf-8"><title>github perms and team repo · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html">github perms and team repo</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="175538197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175538197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175538197">(Sep 12 2019 at 15:08)</a>:</h4>
<p>So I created <a href="https://github.com/rust-lang/team/pull/114" target="_blank" title="https://github.com/rust-lang/team/pull/114">https://github.com/rust-lang/team/pull/114</a> which will create an official "wg-polonius" team for this group -- actually not having one was an oversight. I <em>think</em> I'll make that sync'd with a wg-polonius github team we can use for membership.</p>



<a name="175540462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175540462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175540462">(Sep 12 2019 at 15:31)</a>:</h4>
<p>From the PR:</p>
<blockquote>
<p>leads = ["lqd", "nikomatsakis"]</p>
</blockquote>



<a name="175540477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175540477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175540477">(Sep 12 2019 at 15:31)</a>:</h4>
<p>/me faints</p>



<a name="175570378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175570378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175570378">(Sep 12 2019 at 20:54)</a>:</h4>
<p>One question, should we include <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> + <span class="user-mention" data-user-id="127262">@Aaron Weiss</span> in that list of members? :)</p>



<a name="175570388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175570388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175570388">(Sep 12 2019 at 20:54)</a>:</h4>
<p>I'd have no objection</p>



<a name="175570432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175570432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175570432">(Sep 12 2019 at 20:55)</a>:</h4>
<p>Also, there is a <a href="https://github.com/orgs/rust-lang/teams/wg-polonius" target="_blank" title="https://github.com/orgs/rust-lang/teams/wg-polonius">github team</a> that has them as members, I'm not entirely sure if that pre-existed or what, but it seems out of sync with the teams repo.</p>



<a name="175570539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175570539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175570539">(Sep 12 2019 at 20:56)</a>:</h4>
<blockquote>
<p>/me faints</p>
</blockquote>
<p>heh, I thought we had you listed as lead on <a href="https://rust-lang.github.io/compiler-team/working-groups/polonius/" target="_blank" title="https://rust-lang.github.io/compiler-team/working-groups/polonius/">the compiler-team repo</a>, <span class="user-mention" data-user-id="116113">@lqd</span>, but I guess we didn't :) you ok with that? I feel like you do most of the lead work tbh</p>



<a name="175570547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175570547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175570547">(Sep 12 2019 at 20:56)</a>:</h4>
<p>we should fix compiler-team repo then!</p>



<a name="175570695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175570695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175570695">(Sep 12 2019 at 20:58)</a>:</h4>
<p><a href="https://github.com/rust-lang/compiler-team/pull/170" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/170">https://github.com/rust-lang/compiler-team/pull/170</a></p>



<a name="175571999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175571999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175571999">(Sep 12 2019 at 21:13)</a>:</h4>
<p>I'm ok with that, but mostly honored/thankful :)</p>



<a name="175572049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175572049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175572049">(Sep 12 2019 at 21:13)</a>:</h4>
<p>Matthew and Aaron sure if they want to</p>



<a name="175572124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175572124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175572124">(Sep 12 2019 at 21:14)</a>:</h4>
<p>So the <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> (a) has write access to the polonius repo and (b) is now owner of the polonius and polonius-engine crates</p>



<a name="175572126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175572126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175572126">(Sep 12 2019 at 21:14)</a>:</h4>
<p>I would have no objection either of course :)</p>



<a name="175572162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175572162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175572162">(Sep 12 2019 at 21:15)</a>:</h4>
<p>nice, thanks niko !</p>



<a name="175572292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175572292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175572292">(Sep 12 2019 at 21:16)</a>:</h4>
<p>I also made sure that compiler is an owner</p>



<a name="175572339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175572339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175572339">(Sep 12 2019 at 21:17)</a>:</h4>
<p>I only see the 3 of us in the <a href="https://github.com/orgs/rust-lang/teams/wg-polonius/members" target="_blank" title="https://github.com/orgs/rust-lang/teams/wg-polonius/members">GH team</a> so now it matches the earlier PR — I'm guessing you made them in sync since posting the message</p>



<a name="175584893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175584893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175584893">(Sep 13 2019 at 00:56)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> fixed it</p>



<a name="175601576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175601576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175601576">(Sep 13 2019 at 07:37)</a>:</h4>
<p>Oh wow, I'm official. That's...very cool</p>



<a name="175652550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/github%20perms%20and%20team%20repo/near/175652550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/github.20perms.20and.20team.20repo.html#175652550">(Sep 13 2019 at 18:37)</a>:</h4>
<p>I don't mind either way if I'm in wg-polonius on GitHub (since what I'm doing right now is theoretical anyway <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span>)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>